Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 18711 hakutulosta
Julkaisut
18711
Rahoitushaut
0
Myönnetty rahoitus
9
Tutkijat
0
Aineistot
7
Infrastruktuurit
0
Organisaatiot
0
Hankkeet
0
Julkaisut -
18 711
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 18711
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
A linear
programming
model
of electric power production
Tamminen, Eero
Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports
1986
Logic programs with stable
model
semantics as a constraint
programming
paradigm
Vertaisarvioitu
Niemelä, I.
-
1998
Bounded
Model
Checking, Answer Set
Programming
, and Fixed Points
Niemelä, Ilkka
International Workshop on Bounded
Model
Checking
2006
An extended PRAM-NUMA
model
of computation for TCF
programming
Vertaisarvioitu
Avoin saatavuus
Forsell, Martti; Leppänen, Ville
International Journal of Networking and Computing
2013
An extended PRAM-NUMA
model
of computation for TCF
programming
Vertaisarvioitu
DOI
10.1109/IPDPSW.2012.97
Forsell, Martti; Leppänen, V.
26th International Parallel and Distributed Processing Symposium, IPDPSW 2012
2012
Fast Dynamic
Programming
in Trees in the MPC
Model
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3558481.3591098
Gupta, Chetan; Latypov, Rustam; Maus, Yannic; Pai, Shreyas; Särkkä, Simo; Studený, Jan; Suomela, Juk...
Annual ACM Symposium on Parallelism in Algorithms and Architectures
2023
A linear
programming
model
of forest products industries
Tamminen, Eero; Forsström, Juha
Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports
1988
Action-Oriented
Programming
Model
: Collective Executions and Interactions in the Fog
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.jss.2019.110391
Mäkitalo, Niko; Aaltonen, Timo; Raatikainen, Mikko; Ometov, Aleksandr; Andreev, Sergey; Koucheryavy,...
Journal of systems and software
2019
Answer Set
Programming
and Bounded
Model
Checking
Vertaisarvioitu
Heljanko, Keijo; Niemelä, Ilkka
AAAI PRESS
2001
A linear
programming
energy and environment
model
for space heating
Forsström, Juha; Tamminen, Eero
Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports
1990
A linear
programming
model
of electric power production
1986
Logic programs with stable
model
semantics as a constraint
programming
paradigm
Vertaisarvioitu
1998
Bounded
Model
Checking, Answer Set
Programming
, and Fixed Points
2006
An extended PRAM-NUMA
model
of computation for TCF
programming
Vertaisarvioitu
Avoin saatavuus
2013
An extended PRAM-NUMA
model
of computation for TCF
programming
Vertaisarvioitu
DOI
10.1109/IPDPSW.2012.97
2012
Fast Dynamic
Programming
in Trees in the MPC
Model
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3558481.3591098
2023
A linear
programming
model
of forest products industries
1988
Action-Oriented
Programming
Model
: Collective Executions and Interactions in the Fog
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.jss.2019.110391
2019
Answer Set
Programming
and Bounded
Model
Checking
Vertaisarvioitu
2001
A linear
programming
energy and environment
model
for space heating
1990
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 18711
Sivu 1
Sort
